computability theory - German English Dictionary